sat algebra